Computational analyses on the structure-function relation in ion channels

Ion channels are protein molecules, embedded in the lipid bilayer of the cell membranes. They act as powerful sensing elements switching chemicalphysical stimuli into ion-fluxes. At a glance, ion channels are water-filled pores, which can open and close in response to different stimuli (gating), and one once open select the permeating ion species (selectivity). They play a crucial role in several physiological functions, like nerve transmission, muscular contraction, and secretion. Besides, ion channels can be used in technological applications for different purpose (sensing of organic molecules, DNA sequencing). As a result, there is remarkable interest in understanding the molecular determinants of the channel functioning. Nowadays, both the functional and the structural characteristics of ion channels can be experimentally solved. The purpose of this thesis was to investigate the structure-function relation in ion channels, by computational techniques. Most of the analyses focused on the mechanisms of ion conduction, and the numerical methodologies to compute the channel conductance. The standard techniques for atomistic simulation of complex molecular systems (Molecular Dynamics) cannot be routinely used to calculate ion fluxes in membrane channels, because of the high computational resources needed. The main step forward of the PhD research activity was the development of a computational algorithm for the calculation of ion fluxes in protein channels. The algorithm - based on the electrodiffusion theory - is computational inexpensive, and was used for an extensive analysis on the molecular determinants of the channel conductance. The first record of ion-fluxes through a single protein channel dates back to 1976, and since then measuring the single channel conductance has become a standard experimental procedure. Chapter 1 introduces ion channels, and the experimental techniques used to measure the channel currents. The abundance of functional data (channel currents) does not match with an equal abundance of structural data. The bacterial potassium channel KcsA was the first selective ion channels to be experimentally solved (1998), and after KcsA the structures of four different potassium channels were revealed. These experimental data inspired a new era in ion channel modeling. Once the atomic structures of channels are known, it is possible to define mathematical models based on physical descriptions of the molecular systems. These physically based models can provide an atomic description of ion channel functioning, and predict the effect of structural changes. Chapter 2 introduces the computation methods used throughout the thesis to model ion channels functioning at the atomic level. In Chapter 3 and Chapter 4 the ion conduction through potassium channels is analyzed, by an approach based on the Poisson-Nernst-Planck electrodiffusion theory. In the electrodiffusion theory ion conduction is modeled by the drift-diffusion equations, thus describing the ion distributions by continuum functions. The numerical solver of the Poisson- Nernst-Planck equations was tested in the KcsA potassium channel (Chapter 3), and then used to analyze how the atomic structure of the intracellular vestibule of potassium channels affects the conductance (Chapter 4). As a major result, a correlation between the channel conductance and the potassium concentration in the intracellular vestibule emerged. The atomic structure of the channel modulates the potassium concentration in the vestibule, thus its conductance. This mechanism explains the phenotype of the BK potassium channels, a sub-family of potassium channels with high single channel conductance. The functional role of the intracellular vestibule is also the subject of Chapter 5, where the affinity of the potassium channels hEag1 (involved in tumour-cell proliferation) and hErg (important in the cardiac cycle) for several pharmaceutical drugs was compared. Both experimental measurements and molecular modeling were used in order to identify differences in the blocking mechanism of the two channels, which could be exploited in the synthesis of selective blockers. The experimental data pointed out the different role of residue mutations in the blockage of hEag1 and hErg, and the molecular modeling provided a possible explanation based on different binding sites in the intracellular vestibule. Modeling ion channels at the molecular levels relates the functioning of a channel to its atomic structure (Chapters 3-5), and can also be useful to predict the structure of ion channels (Chapter 6-7). In Chapter 6 the structure of the KcsA potassium channel depleted from potassium ions is analyzed by molecular dynamics simulations. Recently, a surprisingly high osmotic permeability of the KcsA channel was experimentally measured. All the available crystallographic structure of KcsA refers to a channel occupied by potassium ions. To conduct water molecules potassium ions must be expelled from KcsA. The structure of the potassium-depleted KcsA channel and the mechanism of water permeation are still unknown, and have been investigated by numerical simulations. Molecular dynamics of KcsA identified a possible atomic structure of the potassium-depleted KcsA channel, and a mechanism for water permeation. The depletion from potassium ions is an extreme situation for potassium channels, unlikely in physiological conditions. However, the simulation of such an extreme condition could help to identify the structural conformations, so the functional states, accessible to potassium ion channels. The last chapter of the thesis deals with the atomic structure of the !- Hemolysin channel. !-Hemolysin is the major determinant of the Staphylococcus Aureus toxicity, and is also the prototype channel for a possible usage in technological applications. The atomic structure of !- Hemolysin was revealed by X-Ray crystallography, but several experimental evidences suggest the presence of an alternative atomic structure. This alternative structure was predicted, combining experimental measurements of single channel currents and numerical simulations. This thesis is organized in two parts, in the first part an overview on ion channels and on the numerical methods adopted throughout the thesis is provided, while the second part describes the research projects tackled in the course of the PhD programme. The aim of the research activity was to relate the functional characteristics of ion channels to their atomic structure. In presenting the different research projects, the role of numerical simulations to analyze the structure-function relation in ion channels is highlighted.

Conservazione del seme sortato di suino

Gli spermatozoi di suino sottoposti alla procedura di sessaggio mediante citofluorimetria presentano una serie di modificazioni morfo-funzionali che compromettono nel tempo la loro sopravvivenza e la capacità fecondante. Questi spermatozoi, inoltre, a causa della sensibilità ai danni indotti dalla crioconservazione, vengono solitamente conservati allo stato liquido a 15-17°C, con conseguente ulteriore peggioramento nel tempo della qualità delle cellule spermatiche sessate. Lo scopo della ricerca è stato quello di valutare le modificazioni di alcune caratteristiche morfo-funzionali degli spermatozoi in seguito a sex-sorting e conseguente conservazione. Successivamente si è cercato di migliorare i parametri qualitativi del seme sessato mediante l’aggiunta di sostanze antiossidanti e la messa a punto di una nuova metodica di conservazione. I risultati ottenuti hanno evidenziato che la procedura di sessaggio e la conseguente conservazione per 24-26 ore a 15°C hanno indotto un peggioramento significativo delle caratteristiche morfo-funzionali (vitalità, integrità acrosomiale, quantità e distribuzione dell’Hsp70, capacità fecondante). Mentre l’azione degli antiossidanti non si è rivelata efficace nel miglioramento della qualità degli spermatozoi durante le fasi di colorazione e passaggio attraverso il citofluorimetro, l’azione congiunta del plasma seminale e degli antiossidanti superossido-dismutasi ed epigallocatechina-3-gallato ha indotto un miglioramento significativo della vitalità degli spermatozoi. Per la conservazione del seme di suino è stata testata la tecnica di incapsulazione in membrane di alginato di bario che permette, durante l’inseminazione artificiale, un rilascio graduale degli spermatozoi e l’utilizzo di un quantitativo inferiore di materiale seminale. L’applicazione di tale tecnica per la conservazione degli spermatozoi di suino sessati non sembra provocare un calo significativo della vitalità, dell’integrità acrosomiale e dell’efficienza totale di fecondazione rispetto al seme sortato e conservato diluito suggerendo futuri studi in vivo. Una migliore conoscenza dei danni indotti da queste tecnologie e la loro minimizzazione potrà stimolare in futuro l’utilizzo su vasta scala del seme sessato nel suino.

Valutazione sperimentale della rigenerazione cartilaginea articolare dopo stimolazione biofisica con campi elettromagnetici pulsati in associazione a trattamenti chirurgici

Diverse tecniche di ingegneria tessutale sono state sviluppate per promuovere la riparazione delle lesioni della cartilagine articolare. Nonostante i buoni risultati clinici a breve termine, il tessuto rigenerato fallisce nel tempo poiché non possiede le caratteristiche meccaniche e funzionali della cartilagine articolare nativa. La stimolazione con campi elettromagnetici pulsati (CEMP) rappresenta un approccio terapeutico innovativo. I CEMP aumentano l’attività anabolica dei condrociti con conseguente incremento della sintesi della matrice, e limitano l’effetto catabolico delle citochine pro-infiammatorie riducendo la degradazione della cartilagine nel microambiente articolare. I CEMP agiscono mediante l’up-regolazione dei recettori adenosinici A2A potenziando il loro affetto anti-infiammatorio. Lo scopo di questo studio è stato quello di valutare l’effetto della stimolazione con CEMP sulla guarigione di difetti osteocondrali in un modello sperimentale nel coniglio. Un difetto osteocondrale del diametro di 4mm è stato eseguito nel condilo femorale mediale di entrambe le ginocchia di 20 conigli. A destra la lesione è stata lasciata a guarigione spontanea mentre a sinistra e stata trattata mediante inserimento di scaffold collagenico o trapianto di cellule mesenchimali midollari sul medesimo scaffold precedentemente prelevate dalla cresta iliaca. In base al trattamento eseguito 10 animali sono stati stimolati con CEMP 4 ore/die per 40 giorni mentre altri 10 hanno ricevuto stimolatori placebo. Dopo il sacrificio a 40 giorni, sono state eseguite analisi istologiche mediante un punteggio di O’Driscoll modificato. Confrontando le lesioni lasciate a guarigione spontanea, la stimolazione con CEMP ha migliorato significativamente il punteggio (p=0.021). Lo stesso risultato si è osservato nel confronto tra lesioni trattate mediante trapianto di cellule mesenchimali midollari (p=0.032). Nessuna differenza è stata osservata tra animali stimolati e placebo quando la lesione è stata trattata con il solo scaffold (p=0.413). La stimolazione con CEMP è risultata efficace nel promuovere la guarigione di difetti osteocartilaginei in associazione a tecniche chirurgiche di ingegneria tessutale.

Meccanismi replicativi e di regolazione dell'espressione genica di Parvovirus B19

Il Parvovirus B19, virus patogeno umano della famiglia Parvoviridae, mostra uno specifico tropismo per i precursori eritroidi e una limitata replicazione in alcune linee cellulari megacarioblastoidi. Allo scopo di sviluppare sistemi utili allo studio delle caratteristiche biologiche del virus, diversi laboratori si sono occupati della costruzione di cloni genomici di B19 dotati di competenza funzionale e capaci di generare virus infettante. Parte del presente lavoro ha riguardato l’analisi funzionale di diversi cloni genomici di B19 e ha permesso di caratterizzare le regioni terminali del virus e di identificare requisiti essenziali per la loro funzionalità. Nel contesto intracellulare, esistono differenti livelli di restrizione in relazione alla capacità della cellula di supportare la replicazione virale, non ancora del tutto caratterizzati. Inoltre si sono accumulate evidenze circa la capacità del B19 di instaurare persistenza in numerosi tessuti. Non sono ancora note le caratteristiche funzionali del genoma virale in questo stato, è possibile che il virus persista in forma silente e meccanismi epigenetici possano regolare tale silenziamento. In questo studio è stato analizzato lo stato di metilazione del genoma di B19 e il suo possibile effetto sul ciclo replicativo virale ed è stata investigata la possibile associazione del DNA virale agli istoni cellulari nel corso di infezione in vitro. I risultati ottenuti confermano la presenza di questi meccanismi epigenetici, potendo ipotizzare che giochino un importante ruolo nella regolazione della funzionalità virale e nell’interazione B19-cellula e siano un elemento critico per l’adattamento del virus nell’ambiente in cui si trova. Inoltre l’ipotesi che anche i microRNA possano assumere un importante significato nell’interazione B19-cellula è stata proposta da diversi lavori e nel presente studio è stata valutata la produzione di queste piccole molecole durante l'infezione in vitro, ricercando microRNA (cellulari e/o virali) con omologia di sequenza per il genoma di B19 e quindi specifici per il virus.

Functional Genomics and Cell Biology of the Dolphin (Tursiops runcatus): Establishment of Novel Molecular Tools to Study Marine Mammals in Changing Environments

The dolphin (Tursiops truncatus) is a mammal that is adapted to life in a totally aquatic environment. Despite the popularity and even iconic status of the dolphin, our knowledge of its physiology, its unique adaptations and the effects on it of environmental stressors are limited. One approach to improve this limited understanding is the implementation of established cellular and molecular methods to provide sensitive and insightful information for dolphin biology. We initiated our studies with the analysis of wild dolphin peripheral blood leukocytes, which have the potential to be informative of the animal’s global immune status. Transcriptomic profiles from almost 200 individual samples were analyzed using a newly developed species-specific microarray to assess its value as a prognostic and diagnostic tool. Functional genomics analyses were informative of stress-induced gene expression profiles and also of geographical location specific transcriptomic signatures, determined by the interaction of genetic, disease and environmental factors. We have developed quantitative metrics to unambiguously characterize the phenotypic properties of dolphin cells in culture. These quantitative metrics can provide identifiable characteristics and baseline data which will enable identification of changes in the cells due to time in culture. We have also developed a novel protocol to isolate primary cultures from cryopreserved tissue of stranded marine mammals, establishing a tissue (and cell) biorepository, a new approach that can provide a solution to the limited availability of samples. The work presented represents the development and application of tools for the study of the biology, health and physiology of the dolphin, and establishes their relevance for future studies of the impact on the dolphin of environmental infection and stress.

Architectures and design patterns for functional design of logic control and diagnostics in industrial automation

Recently in most of the industrial automation process an ever increasing degree of automation has been observed. This increasing is motivated by the higher requirement of systems with great performance in terms of quality of products/services generated, productivity, efficiency and low costs in the design, realization and maintenance. This trend in the growth of complex automation systems is rapidly spreading over automated manufacturing systems (AMS), where the integration of the mechanical and electronic technology, typical of the Mechatronics, is merging with other technologies such as Informatics and the communication networks. An AMS is a very complex system that can be thought constituted by a set of flexible working stations, one or more transportation systems. To understand how this machine are important in our society let considerate that every day most of us use bottles of water or soda, buy product in box like food or cigarets and so on. Another important consideration from its complexity derive from the fact that the the consortium of machine producers has estimated around 350 types of manufacturing machine. A large number of manufacturing machine industry are presented in Italy and notably packaging machine industry,in particular a great concentration of this kind of industry is located in Bologna area; for this reason the Bologna area is called “packaging valley”. Usually, the various parts of the AMS interact among them in a concurrent and asynchronous way, and coordinate the parts of the machine to obtain a desiderated overall behaviour is an hard task. Often, this is the case in large scale systems, organized in a modular and distributed manner. Even if the success of a modern AMS from a functional and behavioural point of view is still to attribute to the design choices operated in the definition of the mechanical structure and electrical electronic architecture, the system that governs the control of the plant is becoming crucial, because of the large number of duties associated to it. Apart from the activity inherent to the automation of themachine cycles, the supervisory system is called to perform other main functions such as: emulating the behaviour of traditional mechanical members thus allowing a drastic constructive simplification of the machine and a crucial functional flexibility; dynamically adapting the control strategies according to the different productive needs and to the different operational scenarios; obtaining a high quality of the final product through the verification of the correctness of the processing; addressing the operator devoted to themachine to promptly and carefully take the actions devoted to establish or restore the optimal operating conditions; managing in real time information on diagnostics, as a support of the maintenance operations of the machine. The kind of facilities that designers can directly find on themarket, in terms of software component libraries provides in fact an adequate support as regard the implementation of either top-level or bottom-level functionalities, typically pertaining to the domains of user-friendly HMIs, closed-loop regulation and motion control, fieldbus-based interconnection of remote smart devices. What is still lacking is a reference framework comprising a comprehensive set of highly reusable logic control components that, focussing on the cross-cutting functionalities characterizing the automation domain, may help the designers in the process of modelling and structuring their applications according to the specific needs. Historically, the design and verification process for complex automated industrial systems is performed in empirical way, without a clear distinction between functional and technological-implementation concepts and without a systematic method to organically deal with the complete system. Traditionally, in the field of analog and digital control design and verification through formal and simulation tools have been adopted since a long time ago, at least for multivariable and/or nonlinear controllers for complex time-driven dynamics as in the fields of vehicles, aircrafts, robots, electric drives and complex power electronics equipments. Moving to the field of logic control, typical for industrial manufacturing automation, the design and verification process is approached in a completely different way, usually very “unstructured”. No clear distinction between functions and implementations, between functional architectures and technological architectures and platforms is considered. Probably this difference is due to the different “dynamical framework”of logic control with respect to analog/digital control. As a matter of facts, in logic control discrete-events dynamics replace time-driven dynamics; hence most of the formal and mathematical tools of analog/digital control cannot be directly migrated to logic control to enlighten the distinction between functions and implementations. In addition, in the common view of application technicians, logic control design is strictly connected to the adopted implementation technology (relays in the past, software nowadays), leading again to a deep confusion among functional view and technological view. In Industrial automation software engineering, concepts as modularity, encapsulation, composability and reusability are strongly emphasized and profitably realized in the so-calledobject-oriented methodologies. Industrial automation is receiving lately this approach, as testified by some IEC standards IEC 611313, IEC 61499 which have been considered in commercial products only recently. On the other hand, in the scientific and technical literature many contributions have been already proposed to establish a suitable modelling framework for industrial automation. During last years it was possible to note a considerable growth in the exploitation of innovative concepts and technologies from ICT world in industrial automation systems. For what concerns the logic control design, Model Based Design (MBD) is being imported in industrial automation from software engineering field. Another key-point in industrial automated systems is the growth of requirements in terms of availability, reliability and safety for technological systems. In other words, the control system should not only deal with the nominal behaviour, but should also deal with other important duties, such as diagnosis and faults isolations, recovery and safety management. Indeed, together with high performance, in complex systems fault occurrences increase. This is a consequence of the fact that, as it typically occurs in reliable mechatronic systems, in complex systems such as AMS, together with reliable mechanical elements, an increasing number of electronic devices are also present, that are more vulnerable by their own nature. The diagnosis problem and the faults isolation in a generic dynamical system consists in the design of an elaboration unit that, appropriately processing the inputs and outputs of the dynamical system, is also capable of detecting incipient faults on the plant devices, reconfiguring the control system so as to guarantee satisfactory performance. The designer should be able to formally verify the product, certifying that, in its final implementation, it will perform itsrequired function guarantying the desired level of reliability and safety; the next step is that of preventing faults and eventually reconfiguring the control system so that faults are tolerated. On this topic an important improvement to formal verification of logic control, fault diagnosis and fault tolerant control results derive from Discrete Event Systems theory. The aimof this work is to define a design pattern and a control architecture to help the designer of control logic in industrial automated systems. The work starts with a brief discussion on main characteristics and description of industrial automated systems on Chapter 1. In Chapter 2 a survey on the state of the software engineering paradigm applied to industrial automation is discussed. Chapter 3 presentes a architecture for industrial automated systems based on the new concept of Generalized Actuator showing its benefits, while in Chapter 4 this architecture is refined using a novel entity, the Generalized Device in order to have a better reusability and modularity of the control logic. In Chapter 5 a new approach will be present based on Discrete Event Systems for the problemof software formal verification and an active fault tolerant control architecture using online diagnostic. Finally conclusive remarks and some ideas on new directions to explore are given. In Appendix A are briefly reported some concepts and results about Discrete Event Systems which should help the reader in understanding some crucial points in chapter 5; while in Appendix B an overview on the experimental testbed of the Laboratory of Automation of University of Bologna, is reported to validated the approach presented in chapter 3, chapter 4 and chapter 5. In Appendix C some components model used in chapter 5 for formal verification are reported.

Use of sub-lethal high pressure homogenization (HPH) treatments to enhance functional properties of lactic acid bacteria probiotic strains

The aim of this PhD thesis was to evaluate the effect of a sub-lethal HPH treatment on some probiotic properties and on cell response mechanisms of already-known functional strains, isolated from Argentinean dairy products. The results achieved showed that HPH treatments, performed at a sub-lethal level of 50 MPa, increased some important functional and technological characteristics of the considered non intestinal probiotic strains. In particular, HPH could modify cell hydrophobicity, autoaggregation and resistance to acid gastric conditions (tested in in vitro model), cell viability and cell production of positive aroma compounds, during a refrigerate storage in a simulated dairy product. In addition, HPH process was able to increase also some probiotic properties exerted in vivo and tested for two of the considered strains. In fact, HPH-treated cells were able to enhance the number of IgA+ cells more than other not treated cells, although this capacity was time dependent. On the other hand, HPH treatment was able to modify some important characteristics that are linked to the cell wall and, consequently, could alter the adhesion capacity in vivo and the interaction with the intestinal cells. These modifications, involving cell outermost structures, were highlighted also by Trasmission Electron Microscopy (TEM) analysis. In fact, the micrographs obtained showed a significant effect of the pressure treatment on the cell morphology and particularly on the cell wall. Moreover, the results achieved showed that composition of plasma membranes and their level of unsaturation are involved in response mechanisms adopted by cells exposed to the sub-lethal HPH treatment. Although the response to the treatment varied according to the characteristics of individual strains, time of storage and suspension media employed, the results of present study, could be exploited to enhance the quality of functional products and to improve their organoleptic properties.

Context-sensitive design in transportation infrastructure: relating tire/pavement noise with wearing course characteristics

A design can be defined as context-sensitive when it achieves effective technical and functional transportation solutions, while preserving and enhancing natural environments and minimizing impacts on local communities. Traffic noise is one of the most critical environmental impacts of transportation infrastructure and it affects both humans and ecosystems. Tire/pavement noise is caused by a set of interactions at the contact patch and it is the predominant source of road noise at the regular traffic speeds. Wearing course characteristics affect tire/pavement noise through various mechanisms. Furthermore, acoustic performance of road pavements varies over time and it is influenced by both aging and temperature. Three experimentations have been carried out to evaluate wearing course characteristics effects on tire/pavement noise. The first study involves the evaluation of skid resistance, surface texture and tire/pavement noise of an innovative application of multipurpose cold-laid microsurfacing. The second one involves the evaluation of the surface and acoustic characteristics of the different pavement sections of the test track of the Centre for Pavement and Transportation Technology (CPATT) at the University of Waterloo. In the third study, a set of highway sections have been selected in Southern Ontario with various types of pavements. Noise measurements were carried out by means of the Statistical Pass-by (SPB) method in the first case study, whereas in the second and in the third one, Close-proximity (CPX) and the On-Board Sound Intensity (OBSI) methods have been performed in parallel. Test results have contributed to understand the effects of pavement materials, temperature and aging on tire/pavement noise. Negligible correlation was found between surface texture and roughness with noise. As a general trend, aged and stiffer materials have shown to provide higher noise levels than newer and less stiff ones. Noise levels were also observed to be higher with temperature increase.